$\forall$${\it es}$, $e$:Top. valtype($e$) $\sim$ kindtype(loc($e$);kind($e$))